"数学基礎論序論", Theorem 7.2